Update both the MediaWiki version and the min required PHP version in PHPVersionError.php